Rule Determination and Process Verification Using Business Capabilities

نویسندگان

  • Thomas Stuht
  • Andreas Speck
  • Sven Feja
  • Sören Witt
  • Elke Pulvermüller
چکیده

Business architectures are an important part of any enterprise architecture containing business processes and business capabilities. High quality business processes are key factors for the success of a company. Hence, the quality and the correctness or compliance have to be verified. We propose to use the business capabilities for an efficient and easily understandable definition of rules to perform this verification. The rule specification is based on rule patterns to define requirements from an operational point of view. These patterns are derived from experience gained in projects for modeling and optimization of business processes with extensive manual checks. For the rule validation we rely on model checking as an established technology to cope with the dynamic properties of processes. We present a tool based approach to automate this verification integrated in a unique system with a common user interface.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Investigating the Relationship between Infrastructural Capabilities and Process Capabilities of Knowledge Management in Gas Company in Chaharmahal and Bakhtiari Province

d: M.A. of Business Management. University of Isfahan . [email protected] e: Isfahan University of Medical Sciences , [email protected] Knowledge as one of the greatest factors in creating value and competitive advantage, has led organizations to show great tendency toward programs of knowledge management. Understanding the relationship between infrastructural capabilities and process c...

متن کامل

A Static Business Level Verification Framework for Cross-Organizational Business Process Models using SWRL

In this paper we introduce a solution for the problem of the design-time verification of cross-organizational business processes. The configuration of the processes can be checked in order to examine whether it fulfills a certain set of business level requirements. A formal Ontology in OWL for these kinds of processes is provided, so logic mechanisms for the verification are applied. The busine...

متن کامل

Rule-Level Verification of Business Process Transformations using CSP

Business Process Reengineering is one of the most widely adopted techniques to improve the efficiency of organisations. Transforming process models, we intend to change their semantics in certain predefined ways, making them more flexible, more restrictive, etc. To understand and control the semantic consequences of change we use CSP to capture the behaviour of processes before and after the tr...

متن کامل

Determination constructs validity of an agile organization model by using factor analysis

During 21st century, manufacturing success and survival are becoming more difficult to ensure this fact is originated in the emergency of new business era that has "change" as one of its major characteristics. Change in business environment and uncertainly have entered management study and research for the last two decades. Agility enhances the organization ability to provide high quality produ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2012